| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Compilerbau | Fach-/Modulprüfung | 6 | 439089 | ||
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 438771 | ||
| Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 440284 | ||
| Vorlesung/Übung | 436932 | Mo 08:30-10:00 AH II (2350|111) (×13) Mo 08:30-10:00 Online-Veranstaltung (×13) Di 12:30-14:00 AH II (2350|111) (×14) Di 12:30-14:00 Online-Veranstaltung (×14) | |||
| Komplexitätstheorie | Fach-/Modulprüfung | 6 | 440241 | ||
| Vorlesung | 435267 | Di 16:00-18:00 Online-Veranstaltung (×1) Di 16:30-18:00 AH III (2350|314.1) (×6) Di 16:30-18:00 Online-Veranstaltung (×4) Do 10:30-12:00 AH III (2350|314.1) (×10) Do 10:30-12:00 Online-Veranstaltung (×4) | |||
| Übung | 435268 | ||||
| Mathematische Logik II | Fach-/Modulprüfung | 6 | 439028 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 439625 |